Model theory - PDFSEARCH.IO - Document Search Engine

Model theory
Results: 13417

#	Item
261	A separation logic for refining concurrent objects Aaron Turon Mitchell Wand Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-15 17:40:28 Logic Mathematical logic Abstraction Model theory Predicate logic Semantics Denotational semantics First-order logic Structure Quantifier Substitution
262	Learning Symmetric Relational Markov Random Fields A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science by Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2015-08-10 08:23:33 Graphical models Statistics Probability Statistical theory Variable elimination Markov random field Markov chain Belief propagation Conceptual model Bayesian network Deep learning
263	Simplified Rules and Theoretical Analysis for Information Bottleneck Optimization and PCA with Spiking Neurons Lars Buesing, Wolfgang Maass Institute for Theoretical Computer Science Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2014-10-13 19:51:13 Computational neuroscience Neuroscience Nervous system Artificial neural networks Statistics Multivariate statistics Biophysics Biological neuron model Principal component analysis Artificial neuron Spike-timing-dependent plasticity Hebbian theory
264	frobenioidspdf Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2015-11-28 19:00:00 Constructible universe IP Model theory Mathematics Creativity Logic Principia Mathematica
265	Sketch of Elements of a Measurement Theory of Economics as an Extension of the Current Sequence of SNA Manuals Michael Osterwald-Lenum (Statistics Denmark) Paper Prepared for the IARIW-OECD Special Conference: “W(h)it Add to Reading List Source URL: iariw.org Language: English - Date: 2015-04-01 09:25:45 Measurement Official statistics Academia Statistics Epistemology National accounts Economics Microeconomics Economic model Level of measurement Uncertainty United Nations System of National Accounts
266	A New Product Analysis and Decision Model Glen L. Urban; Benjamin Lipstein Management Science, Vol. 14, No. 8, Application Series. (Apr., 1968), pp. B490-B519. Stable URL: http://links.jstor.org/sici?sici=%28196 Add to Reading List Source URL: ebusiness.mit.edu Language: English - Date: 2007-10-21 16:46:53 Product management Economics Economy Consumer theory Market Demand Elasticity Product lining Supply Marketing Profit Product marketing
267	Intermediary Leverage Cycles and Financial Stability Tobias Adrian and Nina Boyarchenko∗ June 15, 2015 Abstract We present a theory of financial intermediary leverage cycles within a dynamic model of Add to Reading List Source URL: www.macfinrobods.eu Language: English - Date: 2015-06-30 02:31:34 Economy Money Finance Systemic risk Financial ratios Business cycle Debt Economic bubbles Financial intermediary Deleveraging Macroprudential regulation Markus Brunnermeier
268	The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Logic Philosophy Abstraction Philosophical logic Revision theory Truth Predicate Supervaluationism Model theory Modal logic Kripke semantics Mathematical logic
269	393 Documenta Math. Slices and Transfers Marc Levine1 Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-21 15:52:34 Mathematics Algebra Abstract algebra Homotopy theory Homotopy category Spectrum Triangulated category Homotopy Representable functor Motive Model category Simplicial presheaf
270	Why NRMSE is not completly reliable for forecast/hindcast model test performances Add to Reading List Source URL: www.waveworkshop.org Language: English - Date: 2013-11-01 08:27:22 Statistics Data analysis Measurement Estimation theory Mean squared error Errors and residuals Root-mean-square deviation

UPDATE